$\forall$$T$:Type. \{$T$\} $\in$ Type